Bisimulation for stochastic hybrid models
نویسندگان
چکیده
We consider large queueing networks for which transient and stationary probability distributions are very difficult or impossible to obtain due to the state space explosion. We apply the coupling by mapping functions in order to compare large size multidimensional Markov chains with smaller ones, generating bounds on stationary and transient performance measures. When the processes have many transitions due to several events, the coupling is not easy to apply. The goal of this work is to provide a general algorithm for the comparison using the coupling by mapping functions. This algorithm can be applied for the generation of aggregated bounding processes.
منابع مشابه
Bisimulation for General Stochastic Hybrid Systems
In this paper we define a bisimulation concept for some very general models for stochastic hybrid systems (general stochastic hybrid systems). The definition of bisimulation builds on the ideas of Edalat and of Larsen and Skou and of Joyal, Nielsen and Winskel. The main result is that this bisimulation for GSHS is indeed an equivalence relation. The secondary result is that this bisimulation re...
متن کاملStochastic HYPE: Flow-based modelling of stochastic hybrid systems
Stochastic HYPE is a novel process algebra that models stochastic, instantaneous and continuous behaviour. It develops the flow-based approach of the hybrid process algebra HYPE by replacing non-urgent events with events with exponentially-distributed durations and also introduces random resets. The random resets allow for general stochasticity, and in particular allow for the use of event dura...
متن کاملBisimulation Relations Between Automata, Stochastic Differential Equations and Petri Nets
Two formal stochastic models are said to be bisimilar if their solutions as a stochastic process are probabilistically equivalent. Bisimilarity between two stochastic model formalisms means that the strengths of one stochastic model formalism can be used by the other stochastic model formalism. The aim of this paper is to explain bisimilarity relations between stochastic hybrid automata, stocha...
متن کاملFunctional Abstractions of Stochastic Hybrid Systems
The verification problem for stochastic hybrid systems is quite difficult. One method to verify these systems is stochastic reachability analysis. Concepts of abstractions for stochastic hybrid systems are needed to ease the stochastic reachability analysis. In this paper, we set up different ways to define abstractions for stochastic hybrid systems, which preserve the parameters of stochastic ...
متن کاملApproximate Abstraction of Stochastic Hybrid Automata
This paper discusses a notion of approximate abstraction for linear stochastic hybrid automata (LSHA). The idea is based on the construction of the so called stochastic bisimulation function. Such function can be used to quantify the distance between a system and its approximate abstraction. The work in this paper generalizes our earlier work for jump linear stochastic systems (JLSS). In this p...
متن کامل